//@pausable do { //@previous initValue=new Credit( credit => 0 ) accept(crd:CreditSignal); if (15 <= crd.credit) { this.accumulator.ReceptionGum( new GumSignal() ); } } while(true);